Coq, détail de la queue

retour